1. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter, 5391-
کتابخانه: (طهران)
موضوع : ، Godel numbers,، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
65
.
S64I5
2. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter, 5391-
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (طهران)
موضوع : ، Godel numbers,، Godel, Kurt, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA9
.
65
.
S6
2007
